finite intersection property in metric space